2 402 202 книги
Поиск книг
Жанры
Книги
Категории и жанры
Лучшие книги
Библиотека
Помощь
Мобильная версия
Контакты
Как помочь?
libcats.org
Самая большая
электронная библиотека
рунета. Поиск книг и журналов
↓
Только точные совпадения
#1
Model Checking of Software, 9 conf
Dragan Bosnacki
,
Stefan Leue
Категория:
CsLn_
2.61 Mb
#2
Theoretical and Practical Aspects of SPIN Model Checking, 5 and 6 conf.s
Dennis Dams
,
Robert Gerth
,
Stefan Leue
,
Mieke Massinek
Категория:
CsLn_
2.48 Mb
#3
Formal Methods for Industrial Critical Systems: 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers
Stefan Leue
,
Pedro Merino
3.77 Mb
#4
Scenarios: Models, Transformations and Tools: International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers
Stefan Leue
,
Tarja J. Systä
4.29 Mb